IMonoid\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$g$:GrpSig\{i\}$\mid$ IsMonoid($\mid$$g$$\mid$;$\ast$$g$;e$g$)\}